-
1 decidability problem
Большой англо-русский и русско-английский словарь > decidability problem
-
2 decidability problem
-
3 decidability problem
Математика: проблема разрешимости -
4 decidability problem
матем.English-Russian scientific dictionary > decidability problem
-
5 decidability
-
6 problem
1) задача; проблема3) трудность, затруднение•- boundary value problem - card matching problem - central limit problem - decision problem under risk - decision problem under uncertainty - extremum problem - fair division problem - gambling problem - gasoline blending problem - incompletely structured problem - optimal path problem - optimal stopping problem - portfolio selection problem - precisely specified problem - recursively solvable problem - sequential decision programming problem - sequential occupancy problem - shortest path problem - shortest route problem - standard control problem - three houses and three wells problem -
7 problem
1) проблема
2) задача
3) неисправность
– accounting problem
– advertising problem
– applied problem
– assignment problem
– attack problem
– bargaining problem
– bottleneck problem
– boundary problem
– brachistochrone problem
– caterer problem
– Cauchy problem
– check problem
– continuum problem
– control problem
– decidability problem
– decision problem
– defence problem
– diet problem
– Dirichlet's problem
– eigenvalue problem
– encounter problem
– extremum problem
– formulate problem
– formulation of problem
– four-color problem
– halting problem
– initial-value problem
– inverse problem
– many-body problem
– marriage problem
– matching problem
– moving-boundary problem
– non-stationary problem
– occupancy problem
– Plateau's problem
– primal problem
– privacy problem
– problem book
– problem calculus
– problem put by
– problem variable
– queueing problem
– refinement of problem
– set a problem
– solvable problem
– state problem
– statement of problem
– the two noncharacteristic problem
– three-point problem
– traffic problem
– transport problem
– two-body problem
– two-means problem
– warehousing problem
– word problem
– worked problem
boundary value problem — задача граничная, краевая задача
gasoline blending problem — <econ.> задача о смеси бензинов
-
8 decidability
-
9 проблема разрешимости
Большой англо-русский и русско-английский словарь > проблема разрешимости
См. также в других словарях:
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
decidability — See decision problem … Philosophy dictionary
Decision problem — A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia
Tarski's exponential function problem — In model theory, Tarski s exponential function problem asks whether the usual theory of the real numbers together with the exponential function is decidable. Tarski had previously shown that the theory of the real numbers (without the exponential … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… … Wikipedia